Suchergebnis

• Combinatorial algorithms Kučera, Luděk Bristol [u.a.] : Hilger, 1990

• Logic-based program synthesis and transformation 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers Proietti, Maurizio (Hrsg.) ; LOPSTR <24., 2014, Canterbury> Cham [u.a.] : Springer, 2015

• Logic-based program synthesis and transformation 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers Falaschi, Moreno (Hrsg.) ; LOPSTR <25., 2015, Siena> [Cham] : Springer, 2015